(0 16 5)(1 10 3)(2 8 4)(6 15 13)(7 17 11)(9 14 12)
ALLOWS (11/8)-SEQUENCE
1: (11 13 17)

(0 16 5)(1 10 3)(2 8 4)(6 15 13 7 17)(9 14 12)(11)
2: (6 15 17)

(0 16 5)(1 10 3)(2 8 4)(6)(7 17 13)(9 14 12)(11)(15)
3: (9 14 12)

(0 16 5)(1 10 3)(2 8 4)(6)(7 17 13)(9)(11)(12)(14)(15)
4: (7 17 13)

(0 16 5)(1 10 3)(2 8 4)(6)(7)(9)(11)(12)(13)(14)(15)(17)